Clouseau: Generating Communication Protocols from Commitments

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Tosca: Operationalizing Commitments Over Information Protocols

The notion of commitment is widely studied as a high-level abstraction for modeling multiagent interaction. An important challenge is supporting flexible decentralized enactments of commitment specifications. In this paper, we combine recent advances on specifying commitments and information protocols. Specifically, we contribute Tosca, a technique for automatically synthesizing information pro...

متن کامل

Layers of Joint Commitments in Interpersonal Communication

We propose a theory of communicative interactions based on the idea that it is constitutive of interpersonal communication to create and manage a fragment of social reality. We define such a fragment in terms of joint commitments of the interactants, and analyze how these commitments are made in a conversation. We distinguish between three layers of joint commitments: those that regulate the em...

متن کامل

Low-communication SMC protocols from Boolean circuits

This report describes experiments in generating low-communication secure multi-party protocols on arithmetic circuits by providing a translation from a Boolean circuit format. Boolean circuits are typically used for Yao’s garbled circuits protocol, providing a constant-round computation with relatively large communication overhead. BGW-style protocols based on ring or field arithmetic have lowe...

متن کامل

Generating and ranking commitment protocols

Interaction is a fundamental part of multiagent systems, and is usually regulated by protocols. Typically, these protocols are defined at design-time. However, there exist situations where it is desirable to generate protocols at runtime. We develop an algorithm to generate commitment protocols considering the agent’s goals, its capabilities and its domain knowledge about the other agents’ goal...

متن کامل

Formal and Computational Cryptography: Protocols, Hashes and Commitments

Cover: Zimmermann Telegram, written by German Foreign Secretary Arthur Zim-mermann, is an encrypted message sent to Mexico, proposing a military alliance against the United States. It was intercepted and decrypted by British cryptographers. The telegram inflamed American public opinion and draw the United States to declare war against Germany in 1917. The bookmarker contains the telegram as par...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the AAAI Conference on Artificial Intelligence

سال: 2020

ISSN: 2374-3468,2159-5399

DOI: 10.1609/aaai.v34i05.6215